\contentsline {chapter}{\MakeUppercase {Acknowledgements}}{iii}
\setcounter {tocdepth}{2}
\contentsline {chapter}{\MakeUppercase {Abstract}}{iv}
\setcounter {tocdepth}{2}
\setcounter {tocdepth}{2}
\setcounter {tocdepth}{2}
\contentsline {chapter}{\numberline {I}\MakeUppercase {Introduction}}{1}
\contentsline {section}{\numberline {1.1}Motivation}{1}
\contentsline {section}{\numberline {1.2}Contribution}{1}
\contentsline {section}{\numberline {1.3}Structure}{2}
\setcounter {tocdepth}{2}
\contentsline {chapter}{\numberline {II}\MakeUppercase {Previous Work}}{3}
\setcounter {tocdepth}{2}
\contentsline {chapter}{\numberline {III}\MakeUppercase {Background}}{4}
\contentsline {section}{\numberline {3.1}$\pi $-calculus}{4}
\contentsline {subsection}{\numberline {3.1.1}History of $\pi $-Calculus}{4}
\contentsline {subsection}{\numberline {3.1.2}{\bf $\pi $} Calculus Operations}{4}
\contentsline {subsection}{\numberline {3.1.3}An Example}{5}
\setcounter {tocdepth}{2}
\contentsline {chapter}{\numberline {IV}\MakeUppercase {Type Soundness Proof}}{7}
\contentsline {section}{\numberline {4.1}Introduction}{7}
\contentsline {section}{\numberline {4.2}Featherweight Java (FJ)}{7}
\contentsline {subsection}{\numberline {4.2.1}Background}{7}
\contentsline {subsection}{\numberline {4.2.2}Featherweight Java(FJ) definition}{8}
\contentsline {section}{\numberline {4.3}Featherweight Generic Java (FGJ)}{9}
\contentsline {section}{\numberline {4.4}Extension to FGJ}{9}
\contentsline {section}{\numberline {4.5}Type soundness proof}{9}
\setcounter {tocdepth}{2}
\contentsline {chapter}{\numberline {V}\MakeUppercase {Conclusion}}{10}
\setcounter {tocdepth}{0}
\setcounter {tocdepth}{0}
\contentsline {chapter}{APPENDIX \numberline {A} --- \MakeUppercase {Some Ancillary Stuff}}{11}
\contentsline {chapter}{\MakeUppercase {References}}{12}
\setcounter {tocdepth}{0}
\contentsline {chapter}{\MakeUppercase {Index}}{13}
\setcounter {tocdepth}{0}
\setcounter {tocdepth}{3}
\contentsline {chapter}{\MakeUppercase {Vita}}{14}
\setcounter {tocdepth}{0}
\setcounter {tocdepth}{2}
